Промежуток, или, если более точно, промежуток числовой прямой, — это множество вещественных чисел — таких, что если некоторые два числа принадлежат этому множеству, то любое число, лежащее между ними, тоже принадлежит этому множеству. С использованием логических символов это определение можно записать так:

множество ${\displaystyle X\subseteq \mathbb {R} }$ является промежутком, только если

${\displaystyle \forall x\forall y\forall z{\big (}(x\in X)\wedge (z\in X)\wedge (x<y<z)\Rightarrow y\in X{\big )},}$

где ${\displaystyle \forall }$ — квантор всеобщности. В качестве примеров промежутков можно привести следующие множества:

${\displaystyle {\begin{aligned}X_{1}&=\{x\in \mathbb {R} \colon 0\leqslant x\leqslant 1\},&X_{2}&=\{x\in \mathbb {R} \colon 0\leqslant x<1\},&X_{3}&=\{x\in \mathbb {R} \colon 0<x\leqslant 1\},\\X_{4}&=\{x\in \mathbb {R} \colon 0<x<1\},&X_{5}&=\{x\in \mathbb {R} \colon x>0\},&X_{6}&=\{x\in \mathbb {R} \colon x<1\},\\X_{7}&=\mathbb {R} ,&X_{8}&=\varnothing .\end{aligned}}}$